Definable choice for a class of weakly o-minimal theories
نویسندگان
چکیده
Given an o-minimal structure M with a group operation, we show that for a properly convex subset U , the theory of the expanded structure M′ = (M, U) has definable Skolem functions precisely when M′ is valuational. As a corollary, we get an elementary proof that the theory of any such M′ does not satisfy definable choice. §
منابع مشابه
Topological properties of sets definable in weakly o-minimal structures1
The paper is aimed at studying the topological dimension for sets definable in weakly o-minimal structures in order to prepare background for further investigation of groups, group actions and fields definable in the weakly o-minimal context. We prove that the topological dimension of a set definable in a weakly o-minimal structure is invariant under definable injective maps, strengthening an a...
متن کاملTopological properties of sets definable in weakly o-minimal structures
The paper is aimed at studying the topological dimension for sets definable in weakly o-minimal structures in order to prepare background for further investigation of groups, group actions and fields definable in the weakly o-minimal context. We prove that the topological dimension of a set definable in a weakly o-minimal structure is invariant under definable injective maps, strengthening an a...
متن کاملOn the strong cell decomposition property for weakly o-minimal structures
We consider a class of weakly o-minimal structures admitting an o-minimal style cell decomposition, for which one can construct certain canonical o-minimal extension. The paper contains several fundamental facts concerning the structures in question. Among other things, it is proved that the strong cell decomposition property is preserved under elementary equivalences. We also investigate fiber...
متن کاملWeakly o-minimal nonvaluational structures
A weakly o-minimal structure M = (M,≤,+, . . .) expanding an ordered group (M,≤, +) is called non-valuational iff for every cut 〈C,D〉 of (M,≤) definable in M, we have that inf{y − x : x ∈ C, y ∈ D} = 0. The study of non-valuational weakly o-minimal expansions of real closed fields carried out in [MMS] suggests that this class is very close to the class of o-minimal expansions of real closed fie...
متن کاملWeakly O-minimal Structures and Real Closed Fields
A linearly ordered structure is weakly o-minimal if all of its definable sets in one variable are the union of finitely many convex sets in the structure. Weakly o-minimal structures were introduced by Dickmann, and they arise in several contexts. We here prove several fundamental results about weakly o-minimal structures. Foremost among these, we show that every weakly o-minimal ordered field ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Arch. Math. Log.
دوره 55 شماره
صفحات -
تاریخ انتشار 2016